Cactus Language โ€ข Syntax 11
inquiryintoinquiry.comยท1d
๐Ÿ“Concrete Syntax
Machine Learning Fundamentals: accuracy with python
dev.toยท23hยท
Discuss: DEV
๐Ÿ‘๏ธObservatory Systems
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.comยท5hยท
Discuss: Hacker News
๐ŸŒ€Brotli Internals
Counting with Categories (Part 3)
golem.ph.utexas.eduยท22h
ฮปLambda Formalization
Strict alternation of data and behaviour in Smalltalk
eighty-twenty.orgยท5h
๐Ÿ“žSession Types
On Union-Closedness of Language Generation
arxiv.orgยท1d
๐Ÿ”—Monadic Parsing
Kumo Surfaces Structured Data Patterns Generative AI Misses
thenewstack.ioยท33m
๐Ÿ“ŠGraph Databases
June 25, 2025 Flight Tracking Workshop (4 hour) [Americas / Europe-friendly time]
bellingcat.comยท14h
๐ŸงฎProlog Parsing
Solving LinkedIn Queens Using Haskell
imiron.ioยท1dยท
Discuss: Lobsters, Hacker News, r/programming
ฮปLambda Formalization
The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.comยท4hยท
Discuss: Hacker News, r/programming
๐Ÿ”—Lisp
Deep Dive into Databend UDF, implementing your data solutions with Python, WASM
databend.comยท22mยท
Discuss: Hacker News
๐Ÿ“‹DFDL
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.meยท1dยท
Discuss: Lobsters, Hacker News, r/programming
๐Ÿ”—Lisp
Finetuning a Weather Foundation Model with Lightweight Decoders for Unseen Physical Processes
arxiv.orgยท10h
๐Ÿ”Type Inference
The Bitter Lesson is coming for Tokenization
lucalp.devยท1dยท
Discuss: Lobsters, Hacker News, r/programming
๐Ÿ”—Monadic Parsing
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.comยท8h
๐Ÿ“Concrete Syntax
The Product Topology, or, How Not to Stumble into the Box Topology
relatedwork.blogspot.comยท2dยท
Discuss: relatedwork.blogspot.com
๐Ÿ—๏ธConstructive Mathematics
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.orgยท1d
๐ŸŽฏPerformance Proofs
Coping with Complexity
slott56.github.ioยท4d
๐Ÿ”—Concatenative Programming
What LLMs Know About Their Users
schneier.comยท3h
๐Ÿ’ปLocal LLMs
Total Outcome Logic: Unified Reasoning for a Taxonomy of Program Logics
arxiv.orgยท1d
โš–๏ธHoare Logic